Recovery of (non)monotonic theories
نویسندگان
چکیده
منابع مشابه
Abduction in Nonmonotonic Theories
In a very broad sense we can state that abduction is the inference process that goes from observations to explanations within a more general context or theoretical framework. There are good characterizations of abduction of surprising observations in monotonic theories. Also, in normal logic programs there are a tight relation among SLDNF and the abduction of negative literals. However, a probl...
متن کاملNonmonotonic causal theories
The nonmonotonic causal logic defined in this paper can be used to represent properties of actions, including actions with conditional and indirect effects, nondeterministic actions, and concurrently executed actions. It has been applied to several challenge problems in the theory of commonsense knowledge. We study the relationship between this formalism and other work on nonmonotonic reasoning...
متن کاملSome Logical Properties of Nonmonotonic Causal Theories
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge representation, as well as a higher level, special-purpose notation, the action language C+, for specifying and reasoning about the effects of actions and the persistence (‘inertia’) of facts over time. In this paper we i...
متن کاملIncorporating Nonmonotonic easoning i lause Theories
An approach for introducing default reasoning into first-order Horn clause theories is described. A default theory is expressed as a set of strict implications of the form cy1 A . . . A a, > ,f?, and a set of default rules of the form cy1 A . . . A on =+ p, where the ai and ,6 are function-free literals. A partial order of sets of formulae is obtained from these sets of (strict and default) imp...
متن کاملRecovery and Common Sense Reasoning: Principles of Nonmonotonic Theory Recovery
We use common-sense reasoning to make predictions about what normally will be the case. Such reasoning is captured by using a nonmonotonic semantics selecting a set of intended models from a larger collection of models. Such a selection process, however, might fail: although a theory might have a nonempty set of non-intended models, the set of intended models might be empty. We call such a theo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 1998
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(98)00099-x